<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: TransitiveGotoEliminator.cs Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('_transitive_goto_eliminator_8cs_source.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">TransitiveGotoEliminator.cs</div>  </div>
</div><!--header-->
<div class="contents">
<a href="_transitive_goto_eliminator_8cs.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;</div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="keyword">using</span> System;</div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">using</span> System.Collections.Generic;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="keyword">using</span> System.Linq;</div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">using</span> System.Text;</div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="keyword">using</span> SystemSharp.Analysis.M2M;</div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="keyword">using</span> SystemSharp.Assembler;</div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="keyword">using</span> SystemSharp.Assembler.Rewriters;</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="keyword">namespace </span>SystemSharp.Assembler.Rewriters</div>
<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;{</div>
<div class="line"><a name="l00030"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl.html">   30</a></span>&#160;    <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl.html">TransitiveGotoEliminatorImpl</a>: <a class="code" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_x_i_l_s_rewriter.html">XILSRewriter</a></div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;    {</div>
<div class="line"><a name="l00032"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl.html#a47df1e5c1824194cb6e864f52235ab0b">   32</a></span>&#160;        <span class="keyword">public</span> <a class="code" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl.html#a47df1e5c1824194cb6e864f52235ab0b">TransitiveGotoEliminatorImpl</a>(IList&lt;XILSInstr&gt; instrs) :</div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;            base(instrs)</div>
<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;        {</div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;            SetHandler(<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html">InstructionCodes</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#aa5ff90a79e93b805f3f0935a366dd2cc">Goto</a>, HandleBranch);</div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;            SetHandler(<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html">InstructionCodes</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#ab03034e91bd02ba372bde869feafea1b">BranchIfFalse</a>, HandleBranch);</div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;            SetHandler(<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html">InstructionCodes</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#ab23029ba0aac899075f7fb0c79daaf3d">BranchIfTrue</a>, HandleBranch);</div>
<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;        }</div>
<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div>
<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> HandleBranch(<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html">XILSInstr</a> instr)</div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        {</div>
<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;            var target = (<a class="code" href="class_system_sharp_1_1_assembler_1_1_branch_label.html">BranchLabel</a>)instr.<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a6dc4c54bbf5827e0d316ebcf05c776c5">StaticOperand</a>;</div>
<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;            while (InInstructions[target.InstructionIndex].Name == <a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html">InstructionCodes</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#aa5ff90a79e93b805f3f0935a366dd2cc">Goto</a>)</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;                target = (<a class="code" href="class_system_sharp_1_1_assembler_1_1_branch_label.html">BranchLabel</a>)InInstructions[target.InstructionIndex].StaticOperand;</div>
<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;            if (target.InstructionIndex == instr.<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a3ee2e647d981c0a826cb938f1b398b4f">Index</a> + 1)</div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;            {</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;                <span class="keywordflow">if</span> (instr.<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a5e32a0157baf6e849171757be4a72581">Name</a> == <a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html">InstructionCodes</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#aa5ff90a79e93b805f3f0935a366dd2cc">Goto</a>)</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;                    Emit(<a class="code" href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html">DefaultInstructionSet</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html#af6bf22ac9d9e607e3a8f99d634b3efe5">Instance</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html#a71eddb170c50ab5ed7d6b31d1231b8cd">Nop</a>().CreateStk(instr.Preds, instr.OperandTypes, instr.ResultTypes));</div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;                <span class="keywordflow">else</span></div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;                    Emit(<a class="code" href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html">DefaultInstructionSet</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html#af6bf22ac9d9e607e3a8f99d634b3efe5">Instance</a>.<a class="code" href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html#ae3d4850638639bb5054b367911e5994c">Pop</a>().CreateStk(instr.Preds, instr.OperandTypes, instr.ResultTypes));</div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;            }</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;            {</div>
<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;                Emit(<span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_instr.html">XILInstr</a>(instr.<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a5e32a0157baf6e849171757be4a72581">Name</a>, target).<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_instr.html#a182cd82b0a2a5e31069716ca7f1b8049">CreateStk</a>(instr.<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a36a6a6eb2be85971eb26d5eb65002c22">Preds</a>, instr.<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a150187afdc70d69313ed664984ca65aa">OperandTypes</a>, instr.<a class="code" href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a79bc10b4989b44fcefc2f9644fbe0b07">ResultTypes</a>));</div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;            }</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        }</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div>
<div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html">   81</a></span>&#160;    <span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html">TransitiveGotoEliminator</a> : <a class="code" href="interface_system_sharp_1_1_analysis_1_1_m2_m_1_1_i_x_i_l_s_rewriter.html">IXILSRewriter</a></div>
<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    {</div>
<div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html#ab6ef643b1c67f69b0f65e265b1c7318c">   83</a></span>&#160;        <span class="keyword">public</span> IList&lt;XILSInstr&gt; <a class="code" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html#ab6ef643b1c67f69b0f65e265b1c7318c">Rewrite</a>(IList&lt;XILSInstr&gt; instrs)</div>
<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        {</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            var impl = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl.html">TransitiveGotoEliminatorImpl</a>(instrs);</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;            impl.Rewrite();</div>
<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;            <span class="keywordflow">return</span> impl.OutInstructions;</div>
<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        }</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;</div>
<div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html#a1c17b4a1c3386477e37db1f106aa052a">   90</a></span>&#160;        <span class="keyword">public</span> <span class="keyword">override</span> <span class="keywordtype">string</span> <a class="code" href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html#a1c17b4a1c3386477e37db1f106aa052a">ToString</a>()</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        {</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;eliminate transitive jumps&quot;</span>;</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        }</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    }</div>
<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;}</div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr_html_a3ee2e647d981c0a826cb938f1b398b4f"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a3ee2e647d981c0a826cb938f1b398b4f">SystemSharp.Assembler.XILSInstr.Index</a></div><div class="ttdeci">int Index</div><div class="ttdoc">Instruction index </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00454">AsmCore.cs:454</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_default_instruction_set_html_af6bf22ac9d9e607e3a8f99d634b3efe5"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html#af6bf22ac9d9e607e3a8f99d634b3efe5">SystemSharp.Assembler.DefaultInstructionSet.Instance</a></div><div class="ttdeci">static readonly DefaultInstructionSet Instance</div><div class="ttdoc">The one and only instance </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00476">InstructionSet.cs:476</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html">SystemSharp.Assembler.Rewriters.TransitiveGotoEliminator</a></div><div class="ttdoc">This XIL-S code transformation tries to reduce the number of branch instructions inside the code by r...</div><div class="ttdef"><b>Definition:</b> <a href="_transitive_goto_eliminator_8cs_source.html#l00081">TransitiveGotoEliminator.cs:81</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr_html_a79bc10b4989b44fcefc2f9644fbe0b07"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a79bc10b4989b44fcefc2f9644fbe0b07">SystemSharp.Assembler.XILSInstr.ResultTypes</a></div><div class="ttdeci">TypeDescriptor[] ResultTypes</div><div class="ttdoc">Result types to be pushed on the stack, from bottom (index 0) to top </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00469">AsmCore.cs:469</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_instruction_codes_html_ab03034e91bd02ba372bde869feafea1b"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#ab03034e91bd02ba372bde869feafea1b">SystemSharp.Assembler.InstructionCodes.BranchIfFalse</a></div><div class="ttdeci">const string BranchIfFalse</div><div class="ttdoc">Branch if operand is &quot;false&quot; </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00061">InstructionSet.cs:61</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_instr_html_a182cd82b0a2a5e31069716ca7f1b8049"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_instr.html#a182cd82b0a2a5e31069716ca7f1b8049">SystemSharp.Assembler.XILInstr.CreateStk</a></div><div class="ttdeci">XILSInstr CreateStk(InstructionDependency[] preds, TypeDescriptor[] operandTypes, TypeDescriptor[] resultTypes)</div><div class="ttdoc">Creates a XIL-S representation of this instruction </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00122">AsmCore.cs:122</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_default_instruction_set_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html">SystemSharp.Assembler.DefaultInstructionSet</a></div><div class="ttdoc">Provides convenience method to create XIL instructions </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00467">InstructionSet.cs:467</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_default_instruction_set_html_a71eddb170c50ab5ed7d6b31d1231b8cd"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html#a71eddb170c50ab5ed7d6b31d1231b8cd">SystemSharp.Assembler.DefaultInstructionSet.Nop</a></div><div class="ttdeci">XILInstr Nop()</div><div class="ttdoc">Creates an empty instruction </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00558">InstructionSet.cs:558</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl_html_a47df1e5c1824194cb6e864f52235ab0b"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl.html#a47df1e5c1824194cb6e864f52235ab0b">SystemSharp.Assembler.Rewriters.TransitiveGotoEliminatorImpl.TransitiveGotoEliminatorImpl</a></div><div class="ttdeci">TransitiveGotoEliminatorImpl(IList&lt; XILSInstr &gt; instrs)</div><div class="ttdef"><b>Definition:</b> <a href="_transitive_goto_eliminator_8cs_source.html#l00032">TransitiveGotoEliminator.cs:32</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr_html_a36a6a6eb2be85971eb26d5eb65002c22"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a36a6a6eb2be85971eb26d5eb65002c22">SystemSharp.Assembler.XILSInstr.Preds</a></div><div class="ttdeci">InstructionDependency[] Preds</div><div class="ttdoc">Instruction dependencies </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00459">AsmCore.cs:459</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr_html_a6dc4c54bbf5827e0d316ebcf05c776c5"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a6dc4c54bbf5827e0d316ebcf05c776c5">SystemSharp.Assembler.XILSInstr.StaticOperand</a></div><div class="ttdeci">object StaticOperand</div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00477">AsmCore.cs:477</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html">SystemSharp.Assembler.XILSInstr</a></div><div class="ttdoc">A XIL-S instruction </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00444">AsmCore.cs:444</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_analysis_1_1_m2_m_1_1_i_x_i_l_s_rewriter_html"><div class="ttname"><a href="interface_system_sharp_1_1_analysis_1_1_m2_m_1_1_i_x_i_l_s_rewriter.html">SystemSharp.Analysis.M2M.IXILSRewriter</a></div><div class="ttdoc">An interface for classes which rewrite lists of XIL-S instructions. </div><div class="ttdef"><b>Definition:</b> <a href="_h_l_s_8cs_source.html#l00047">HLS.cs:47</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr_html_a5e32a0157baf6e849171757be4a72581"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a5e32a0157baf6e849171757be4a72581">SystemSharp.Assembler.XILSInstr.Name</a></div><div class="ttdeci">string Name</div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00482">AsmCore.cs:482</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_instruction_codes_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html">SystemSharp.Assembler.InstructionCodes</a></div><div class="ttdoc">All XIL opcodes </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00036">InstructionSet.cs:36</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_branch_label_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_branch_label.html">SystemSharp.Assembler.BranchLabel</a></div><div class="ttdoc">A branch label </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00580">AsmCore.cs:580</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_default_instruction_set_html_ae3d4850638639bb5054b367911e5994c"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_default_instruction_set.html#ae3d4850638639bb5054b367911e5994c">SystemSharp.Assembler.DefaultInstructionSet.Pop</a></div><div class="ttdeci">XILInstr Pop()</div><div class="ttdoc">Creates an instruction which removes the topmost stack element (XIL-S only) </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00914">InstructionSet.cs:914</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_instruction_codes_html_aa5ff90a79e93b805f3f0935a366dd2cc"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#aa5ff90a79e93b805f3f0935a366dd2cc">SystemSharp.Assembler.InstructionCodes.Goto</a></div><div class="ttdeci">const string Goto</div><div class="ttdoc">Unconditional branch </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00131">InstructionSet.cs:131</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_instruction_codes_html_ab23029ba0aac899075f7fb0c79daaf3d"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_instruction_codes.html#ab23029ba0aac899075f7fb0c79daaf3d">SystemSharp.Assembler.InstructionCodes.BranchIfTrue</a></div><div class="ttdeci">const string BranchIfTrue</div><div class="ttdoc">Branch if operand is &quot;true&quot; </div><div class="ttdef"><b>Definition:</b> <a href="_instruction_set_8cs_source.html#l00056">InstructionSet.cs:56</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr_html_a150187afdc70d69313ed664984ca65aa"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_s_instr.html#a150187afdc70d69313ed664984ca65aa">SystemSharp.Assembler.XILSInstr.OperandTypes</a></div><div class="ttdeci">TypeDescriptor[] OperandTypes</div><div class="ttdoc">Types of operands expected on the stack, from bottom (index 0) to top </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00464">AsmCore.cs:464</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_html_a1c17b4a1c3386477e37db1f106aa052a"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html#a1c17b4a1c3386477e37db1f106aa052a">SystemSharp.Assembler.Rewriters.TransitiveGotoEliminator.ToString</a></div><div class="ttdeci">override string ToString()</div><div class="ttdef"><b>Definition:</b> <a href="_transitive_goto_eliminator_8cs_source.html#l00090">TransitiveGotoEliminator.cs:90</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_impl.html">SystemSharp.Assembler.Rewriters.TransitiveGotoEliminatorImpl</a></div><div class="ttdef"><b>Definition:</b> <a href="_transitive_goto_eliminator_8cs_source.html#l00030">TransitiveGotoEliminator.cs:30</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_x_i_l_s_rewriter_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_x_i_l_s_rewriter.html">SystemSharp.Assembler.Rewriters.XILSRewriter</a></div><div class="ttdoc">This class provides a default implementation of a XIL-S code transformation. It alleviates the user f...</div><div class="ttdef"><b>Definition:</b> <a href="_x_i_l_s_rewriter_8cs_source.html#l00033">XILSRewriter.cs:33</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator_html_ab6ef643b1c67f69b0f65e265b1c7318c"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_rewriters_1_1_transitive_goto_eliminator.html#ab6ef643b1c67f69b0f65e265b1c7318c">SystemSharp.Assembler.Rewriters.TransitiveGotoEliminator.Rewrite</a></div><div class="ttdeci">IList&lt; XILSInstr &gt; Rewrite(IList&lt; XILSInstr &gt; instrs)</div><div class="ttdoc">Rewrites a list of XIL-S instructions. </div><div class="ttdef"><b>Definition:</b> <a href="_transitive_goto_eliminator_8cs_source.html#l00083">TransitiveGotoEliminator.cs:83</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_assembler_1_1_x_i_l_instr_html"><div class="ttname"><a href="class_system_sharp_1_1_assembler_1_1_x_i_l_instr.html">SystemSharp.Assembler.XILInstr</a></div><div class="ttdoc">Models a XIL instruction </div><div class="ttdef"><b>Definition:</b> <a href="_asm_core_8cs_source.html#l00040">AsmCore.cs:40</a></div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_bb5e995590685548b7e11478911ee7c3.html">SystemSharp-Google-SVN</a></li><li class="navelem"><a class="el" href="dir_8deefa4467a62b572b52d238d562b104.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_0e5a72156f8560bbc472a395da2569d6.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_9d3c30b4336bd92c64ccf0aeee487ace.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_a963eca034002571cb311faf6f990d11.html">Assembler</a></li><li class="navelem"><a class="el" href="dir_27619b2baa69d9105896d86f1cd0ff4a.html">Rewriters</a></li><li class="navelem"><a class="el" href="_transitive_goto_eliminator_8cs.html">TransitiveGotoEliminator.cs</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:44 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
